Optimal. Leaf size=101 \[ \frac{\cot (e+f x)}{2 a c f \sqrt{a \sec (e+f x)+a} \sqrt{c-c \sec (e+f x)}}+\frac{\tan (e+f x) \log (\sin (e+f x))}{a c f \sqrt{a \sec (e+f x)+a} \sqrt{c-c \sec (e+f x)}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.121461, antiderivative size = 101, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 30, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.1, Rules used = {3905, 3473, 3475} \[ \frac{\cot (e+f x)}{2 a c f \sqrt{a \sec (e+f x)+a} \sqrt{c-c \sec (e+f x)}}+\frac{\tan (e+f x) \log (\sin (e+f x))}{a c f \sqrt{a \sec (e+f x)+a} \sqrt{c-c \sec (e+f x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3905
Rule 3473
Rule 3475
Rubi steps
\begin{align*} \int \frac{1}{(a+a \sec (e+f x))^{3/2} (c-c \sec (e+f x))^{3/2}} \, dx &=-\frac{\tan (e+f x) \int \cot ^3(e+f x) \, dx}{a c \sqrt{a+a \sec (e+f x)} \sqrt{c-c \sec (e+f x)}}\\ &=\frac{\cot (e+f x)}{2 a c f \sqrt{a+a \sec (e+f x)} \sqrt{c-c \sec (e+f x)}}+\frac{\tan (e+f x) \int \cot (e+f x) \, dx}{a c \sqrt{a+a \sec (e+f x)} \sqrt{c-c \sec (e+f x)}}\\ &=\frac{\cot (e+f x)}{2 a c f \sqrt{a+a \sec (e+f x)} \sqrt{c-c \sec (e+f x)}}+\frac{\log (\sin (e+f x)) \tan (e+f x)}{a c f \sqrt{a+a \sec (e+f x)} \sqrt{c-c \sec (e+f x)}}\\ \end{align*}
Mathematica [C] time = 1.47835, size = 121, normalized size = 1.2 \[ \frac{\tan (e+f x) \sec ^2(e+f x) \left (\log \left (1-e^{2 i (e+f x)}\right )+\left (i f x-\log \left (1-e^{2 i (e+f x)}\right )\right ) \cos (2 (e+f x))-i f x+1\right )}{2 c f (\sec (e+f x)-1) (a (\sec (e+f x)+1))^{3/2} \sqrt{c-c \sec (e+f x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.264, size = 175, normalized size = 1.7 \begin{align*}{\frac{ \left ( -1+\cos \left ( fx+e \right ) \right ) ^{2}}{4\,f{a}^{2} \left ( \sin \left ( fx+e \right ) \right ) ^{3}\cos \left ( fx+e \right ) } \left ( 4\,\ln \left ( -{\frac{-1+\cos \left ( fx+e \right ) }{\sin \left ( fx+e \right ) }} \right ) \left ( \cos \left ( fx+e \right ) \right ) ^{2}-4\,\ln \left ( 2\, \left ( 1+\cos \left ( fx+e \right ) \right ) ^{-1} \right ) \left ( \cos \left ( fx+e \right ) \right ) ^{2}- \left ( \cos \left ( fx+e \right ) \right ) ^{2}-4\,\ln \left ( -{\frac{-1+\cos \left ( fx+e \right ) }{\sin \left ( fx+e \right ) }} \right ) +4\,\ln \left ( 2\, \left ( 1+\cos \left ( fx+e \right ) \right ) ^{-1} \right ) -1 \right ) \sqrt{{\frac{a \left ( 1+\cos \left ( fx+e \right ) \right ) }{\cos \left ( fx+e \right ) }}} \left ({\frac{c \left ( -1+\cos \left ( fx+e \right ) \right ) }{\cos \left ( fx+e \right ) }} \right ) ^{-{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.83737, size = 656, normalized size = 6.5 \begin{align*} -\frac{{\left ({\left (f x + e\right )} \cos \left (4 \, f x + 4 \, e\right )^{2} + 4 \,{\left (f x + e\right )} \cos \left (2 \, f x + 2 \, e\right )^{2} +{\left (f x + e\right )} \sin \left (4 \, f x + 4 \, e\right )^{2} + 4 \,{\left (f x + e\right )} \sin \left (2 \, f x + 2 \, e\right )^{2} + f x +{\left (2 \,{\left (2 \, \cos \left (2 \, f x + 2 \, e\right ) - 1\right )} \cos \left (4 \, f x + 4 \, e\right ) - \cos \left (4 \, f x + 4 \, e\right )^{2} - 4 \, \cos \left (2 \, f x + 2 \, e\right )^{2} - \sin \left (4 \, f x + 4 \, e\right )^{2} + 4 \, \sin \left (4 \, f x + 4 \, e\right ) \sin \left (2 \, f x + 2 \, e\right ) - 4 \, \sin \left (2 \, f x + 2 \, e\right )^{2} + 4 \, \cos \left (2 \, f x + 2 \, e\right ) - 1\right )} \arctan \left (\sin \left (2 \, f x + 2 \, e\right ), \cos \left (2 \, f x + 2 \, e\right ) - 1\right ) + 2 \,{\left (f x - 2 \,{\left (f x + e\right )} \cos \left (2 \, f x + 2 \, e\right ) + e + \sin \left (2 \, f x + 2 \, e\right )\right )} \cos \left (4 \, f x + 4 \, e\right ) - 4 \,{\left (f x + e\right )} \cos \left (2 \, f x + 2 \, e\right ) - 2 \,{\left (2 \,{\left (f x + e\right )} \sin \left (2 \, f x + 2 \, e\right ) + \cos \left (2 \, f x + 2 \, e\right )\right )} \sin \left (4 \, f x + 4 \, e\right ) + e + 2 \, \sin \left (2 \, f x + 2 \, e\right )\right )} \sqrt{a} \sqrt{c}}{{\left (a^{2} c^{2} \cos \left (4 \, f x + 4 \, e\right )^{2} + 4 \, a^{2} c^{2} \cos \left (2 \, f x + 2 \, e\right )^{2} + a^{2} c^{2} \sin \left (4 \, f x + 4 \, e\right )^{2} - 4 \, a^{2} c^{2} \sin \left (4 \, f x + 4 \, e\right ) \sin \left (2 \, f x + 2 \, e\right ) + 4 \, a^{2} c^{2} \sin \left (2 \, f x + 2 \, e\right )^{2} - 4 \, a^{2} c^{2} \cos \left (2 \, f x + 2 \, e\right ) + a^{2} c^{2} - 2 \,{\left (2 \, a^{2} c^{2} \cos \left (2 \, f x + 2 \, e\right ) - a^{2} c^{2}\right )} \cos \left (4 \, f x + 4 \, e\right )\right )} f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.43781, size = 1242, normalized size = 12.3 \begin{align*} \left [-\frac{9 \, \sqrt{-a c}{\left (\cos \left (f x + e\right )^{2} - 1\right )} \log \left (-\frac{8 \,{\left ({\left (256 \, \cos \left (f x + e\right )^{5} - 512 \, \cos \left (f x + e\right )^{3} + 175 \, \cos \left (f x + e\right )\right )} \sqrt{-a c} \sqrt{\frac{a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )}} \sqrt{\frac{c \cos \left (f x + e\right ) - c}{\cos \left (f x + e\right )}} -{\left (256 \, a c \cos \left (f x + e\right )^{4} - 512 \, a c \cos \left (f x + e\right )^{2} + 337 \, a c\right )} \sin \left (f x + e\right )\right )}}{{\left (\cos \left (f x + e\right )^{2} - 1\right )} \sin \left (f x + e\right )}\right ) \sin \left (f x + e\right ) +{\left (16 \, \cos \left (f x + e\right )^{3} - 25 \, \cos \left (f x + e\right )\right )} \sqrt{\frac{a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )}} \sqrt{\frac{c \cos \left (f x + e\right ) - c}{\cos \left (f x + e\right )}}}{18 \,{\left (a^{2} c^{2} f \cos \left (f x + e\right )^{2} - a^{2} c^{2} f\right )} \sin \left (f x + e\right )}, -\frac{18 \, \sqrt{a c}{\left (\cos \left (f x + e\right )^{2} - 1\right )} \arctan \left (\frac{{\left (16 \, \cos \left (f x + e\right )^{3} - 7 \, \cos \left (f x + e\right )\right )} \sqrt{a c} \sqrt{\frac{a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )}} \sqrt{\frac{c \cos \left (f x + e\right ) - c}{\cos \left (f x + e\right )}}}{{\left (16 \, a c \cos \left (f x + e\right )^{2} - 25 \, a c\right )} \sin \left (f x + e\right )}\right ) \sin \left (f x + e\right ) +{\left (16 \, \cos \left (f x + e\right )^{3} - 25 \, \cos \left (f x + e\right )\right )} \sqrt{\frac{a \cos \left (f x + e\right ) + a}{\cos \left (f x + e\right )}} \sqrt{\frac{c \cos \left (f x + e\right ) - c}{\cos \left (f x + e\right )}}}{18 \,{\left (a^{2} c^{2} f \cos \left (f x + e\right )^{2} - a^{2} c^{2} f\right )} \sin \left (f x + e\right )}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]